<?php 
    session_start();
	
	$_SESSION = array();
    session_destroy();
	
    // comprobamos que se haya iniciado la sesión 
    if (isset($_SESSION['usuario_nombre'])) 
	{
	    
		if (ini_get("session.use_cookies")) 
		{
		   $params = session_get_cookie_params();
		   setcookie(session_name(), '', time() - 42000,
		   $params["path"], $params["domain"],
		   $params["secure"], $params["httponly"]);
		}
	}
		
	sqlsrv_close($conexion2); 
    header("Location: index.php");
	exit;
	
?>